A formalization of the attribute mapping problem

An attribute-managed solver makes assignments of workload units to devices based on attributes specifications that describe the workload units and the devices. This paper presents the sets of attributes that model workloads and devices. It also discusses the necessary formalization of an attribute-managed solver in terms of objective functions and constraint expressions. These formalizations enable progress toward on implementation of an attributed-managed storage system.